PhD Abstracts

نویسندگان

چکیده

Many students complete PhDs in functional programming each year. As a service to the community, twice per year Journal of Functional Programming publishes abstracts from PhD dissertations completed during previous The are made freely available on JFP website, i.e. not behind any paywall. They do require transfer copyright, merely license author. A dissertation is eligible for inclusion if parts it have or could appeared JFP, that is, general area programming. reviewed.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Abstracts of PhD theses

s of PhD theses Completed by ILRI Graduate Fellows 2006–2007 ILRI International Livestock Research Institute www.ilri.org headquarters box 30709 Nairobi 00100, Kenya phone +254 20 422 3000 fax +254 20 422 3001 email [email protected] principal site box 5689, Addis Ababa, Ethiopia phone +251 11 617 2000 fax +251 11 617 2001 email [email protected] ILRI via USA direct phone +1 650 833 66...

متن کامل

Abstracts of MSc and PhD theses

s of MSc and PhD theses Completed by ILRI Graduate Fellows 2008 ILRI International Livestock Research Institute www.ilri.org headquarters box 30709 Nairobi 00100, Kenya phone +254 20 422 3000 fax +254 20 422 3001 email [email protected] principal site box 5689, Addis Ababa, Ethiopia phone +251 11 617 2000 fax +251 11 617 2001 email [email protected] ILRI via USA direct phone +1 650 833...

متن کامل

Abstracts of the talks PhD presentations

Verifying Quantum Communication Protocols My research concerns with developing algorithms and tools for verification of quantum communication systems. Classical communication protocols have been studied extensively in the context of formal verification. With emergence of quantum information processing, there is a need to develop techniques and tools for formal analysis of quantum communication ...

متن کامل

Abstracts of the FLLL/SCCH Master and PhD Seminar

s of the FLLL/SCCH Master and PhD Seminar Room 0/10, Software Park Hagenberg November 11, 2005 Software Competence Center Hagenberg Fuzzy Logic Laboratorium Linz-Hagenberg Hauptstrasse 99 Hauptstrasse 99 A-4232 Hagenberg A-4232 Hagenberg Tel. +43 7236 3343 800 Tel. +43 7236 3343 431 Fax +43 7236 3343 888 Fax +43 7236 3343 434 www.scch.at www.flll.jku.at

متن کامل

Reaalteaduste doktorantide konverents Workshop-seminar for PhD students Abstracts

3 Kolmas sessioon / 3rd session 6 3.1 WeiWei Heng: Mini Heartcatcher : IntelligentWeb-based Arrhythmia detection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.2 Airiin Laaneväli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.3 Ehsan Ebrahimi: Quantum age is coming. Are you feeling (in)secure? (PostQuantum Cryptography) . . . . . . . ....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Functional Programming

سال: 2021

ISSN: ['0956-7968', '1469-7653']

DOI: https://doi.org/10.1017/s0956796821000149